Turing Award - PDFSEARCH.IO - Document Search Engine

Turing Award
Results: 191

#	Item
141	Curriculum Vitae Robert Endre Tarjan December 17, 2012 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2012-12-20 11:22:21 Science Association for Computing Machinery Data structures Robert Tarjan Summer Science Program Planarity testing John Hopcroft Purely functional Dominator Computer science Turing Award laureates Graph theory
142	H a l l AI’s Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-08-19 19:19:20 Academia Lotfi A. Zadeh Marvin Minsky Edward Feigenbaum John McCarthy Pat Hayes Judea Pearl Strong AI Douglas Engelbart Science Artificial intelligence Turing Award laureates
143	Oral History of Sir Antony Hoare Interviewed by: Add to Reading List Source URL: archive.computerhistory.org Language: English - Date: 2009-02-27 10:18:11 Procedural programming languages Fellows of the British Computer Society Turing Award laureates Knights Bachelor Tony Hoare ALGOL Hoare Software engineering Computing Programming language theory
144	An Interview with CHARLES ANTONY RICHARD HOARE OH 357 Add to Reading List Source URL: conservancy.umn.edu Language: English - Date: 2012-02-20 16:38:26 Procedural programming languages Fellows of the British Computer Society Turing Award laureates Knights Bachelor Tony Hoare Assertion ALGOL 68 Microsoft Research Go Computing Software engineering Computer programming
145	Akasaka Twin Tower East, 13th Floor, [removed]Akasaka, Minato-ku, Tokyo, [removed], JAPAN Tel : +[removed]Fax : +[removed] Add to Reading List Source URL: www.japanprize.jp Language: English - Date: 2013-02-03 21:53:50 Turing Award laureates Immunologists Unix Tadamitsu Kishimoto Multics Dennis Ritchie Ken Thompson Operating system Bell Labs Computing System software Computer architecture
146	13th Knuth Prize: Call for Nominations David S. Johnson The Donald E. Knuth Prize for outstanding contributions to the foundations of computer science Add to Reading List Source URL: www.sigact.org Language: English - Date: 2012-12-15 11:00:35 Academia Theoretical computer science Turing Award laureates Donald Knuth Knuth Prize ACM SIGACT Symposium on Theory of Computing Guggenheim Fellows Ravi Kannan Computer science Knuth Prize laureates Science
147	25th Anniversary Issue A (Very) Add to Reading List Source URL: aitopics.net Language: English - Date: 2012-07-08 01:13:13 Turing Award laureates Philosophy of artificial intelligence Computational neuroscience Lisp programming language Association for the Advancement of Artificial Intelligence Applications of artificial intelligence Cognitive science Dendral Marvin Minsky Science Artificial intelligence Knowledge
148	[removed]CURRICULUM VITAE Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-07-26 13:48:43 Computer science Edmund M. Clarke Carnegie Mellon School of Computer Science Randal Bryant Turing Award Formal verification Allen Newell Model checking Carnegie Mellon Silicon Valley Turing Award laureates Carnegie Mellon University Science
149	Richard E. Stearns Distinguished Professor Emeritus University at Albany Add to Reading List Source URL: www.cs.albany.edu Language: English - Date: 2011-06-23 15:58:24 Science Richard Stearns Theoretical computer science Computability theory Juris Hartmanis Turing Award Computational complexity theory Turing machine Turing Award laureates Computer science Alan Turing
150	John Clifford Shaw Papers, [removed]OVERVIEW OF THE COLLECTION Add to Reading List Source URL: sirismm.si.edu Language: English - Date: 2008-12-19 12:21:01 Turing Award laureates Information Processing Language JOSS JOHNNIAC General Problem Solver Logic Theorist Allen Newell Herbert Simon Keith Uncapher Artificial intelligence Science Computing

UPDATE